[next] [prev] [prev-tail] [tail] [up]

2.2.7 Integrals 601 to 700

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 601

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

534 462 581 4191 558 17874 0 0 0

N.S.

1 0.87 1.09 7.85 1.04 33.47 0.00 0.00 0.00

time (sec)

N/A 2.377 6.474 0.401 0.342 124.594 0.000 0.000 0.000

Problem 602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

534 459 576 451 544 17912 0 0 0

N.S.

1 0.86 1.08 0.84 1.02 33.54 0.00 0.00 0.00

time (sec)

N/A 2.359 6.436 0.514 0.327 85.897 0.000 0.000 0.000

Problem 603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) F(-1) F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

530 459 586 450 545 17911 0 0 0

N.S.

1 0.87 1.11 0.85 1.03 33.79 0.00 0.00 0.00

time (sec)

N/A 2.378 6.458 0.574 0.316 73.397 0.000 0.000 0.000

Problem 604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) F(-1) F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

534 463 610 451 556 17872 0 0 0

N.S.

1 0.87 1.14 0.84 1.04 33.47 0.00 0.00 0.00

time (sec)

N/A 2.399 6.533 0.503 0.309 106.832 0.000 0.000 0.000

Problem 605

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) F(-1) F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

600 524 639 466 612 18011 0 0 0

N.S.

1 0.87 1.06 0.78 1.02 30.02 0.00 0.00 0.00

time (sec)

N/A 3.312 6.581 0.490 0.298 163.937 0.000 0.000 0.000

Problem 606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 157 89 102 127 458 0 0 64

N.S.

1 1.01 0.57 0.65 0.81 2.94 0.00 0.00 0.41

time (sec)

N/A 0.456 0.252 0.283 0.299 0.259 0.000 0.000 9.929

Problem 607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 155 140 102 127 422 0 0 65

N.S.

1 1.01 0.91 0.66 0.82 2.74 0.00 0.00 0.42

time (sec)

N/A 0.408 0.183 0.273 0.289 0.261 0.000 0.000 9.823

Problem 608

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 60 90 113 362 0 0 42

N.S.

1 1.00 0.43 0.65 0.82 2.62 0.00 0.00 0.30

time (sec)

N/A 0.351 0.069 0.280 0.292 0.250 0.000 0.000 9.508

Problem 609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 110 90 116 386 0 0 47

N.S.

1 1.00 0.80 0.65 0.84 2.80 0.00 0.00 0.34

time (sec)

N/A 0.356 0.060 0.309 0.386 0.267 0.000 0.000 9.409

Problem 610

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 155 78 102 126 471 0 0 64

N.S.

1 1.01 0.51 0.66 0.82 3.06 0.00 0.00 0.42

time (sec)

N/A 0.429 0.146 0.267 0.421 0.258 0.000 0.000 9.024

Problem 611

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 157 82 102 128 503 0 0 65

N.S.

1 1.01 0.53 0.65 0.82 3.22 0.00 0.00 0.42

time (sec)

N/A 0.425 0.240 0.326 0.355 0.265 0.000 0.000 9.892

Problem 612

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

354 376 291 2185615 0 8179 0 0 0

N.S.

1 1.06 0.82 6174.05 0.00 23.10 0.00 0.00 0.00

time (sec)

N/A 2.638 4.488 1.378 0.000 1.396 0.000 0.000 0.000

Problem 613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

290 310 252 2183483 0 8104 0 0 0

N.S.

1 1.07 0.87 7529.25 0.00 27.94 0.00 0.00 0.00

time (sec)

N/A 1.938 2.481 1.184 0.000 1.397 0.000 0.000 0.000

Problem 614

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

239 243 216 2181430 0 8070 0 0 0

N.S.

1 1.02 0.90 9127.32 0.00 33.77 0.00 0.00 0.00

time (sec)

N/A 1.395 2.023 1.372 0.000 1.393 0.000 0.000 0.000

Problem 615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

194 191 189 2178676 0 7949 0 0 0

N.S.

1 0.98 0.97 11230.29 0.00 40.97 0.00 0.00 0.00

time (sec)

N/A 1.041 0.524 1.286 0.000 1.428 0.000 0.000 0.000

Problem 616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

229 200 238 2178428 0 16183 0 0 0

N.S.

1 0.87 1.04 9512.79 0.00 70.67 0.00 0.00 0.00

time (sec)

N/A 1.342 0.855 1.406 0.000 2.444 0.000 0.000 0.000

Problem 617

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

261 220 293 2180708 0 16171 0 0 0

N.S.

1 0.84 1.12 8355.20 0.00 61.96 0.00 0.00 0.00

time (sec)

N/A 1.162 3.769 1.208 0.000 3.381 0.000 0.000 0.000

Problem 618

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

324 286 356 2181027 0 16383 0 0 0

N.S.

1 0.88 1.10 6731.56 0.00 50.56 0.00 0.00 0.00

time (sec)

N/A 1.588 5.202 1.355 0.000 3.669 0.000 0.000 0.000

Problem 619

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

422 451 495 2403002 0 12342 0 0 0

N.S.

1 1.07 1.17 5694.32 0.00 29.25 0.00 0.00 0.00

time (sec)

N/A 3.196 6.730 1.384 0.000 2.356 0.000 0.000 0.000

Problem 620

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

351 373 346 2403427 0 12268 0 0 0

N.S.

1 1.06 0.99 6847.37 0.00 34.95 0.00 0.00 0.00

time (sec)

N/A 2.547 5.526 1.447 0.000 2.420 0.000 0.000 0.000

Problem 621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

299 310 286 2401287 0 12233 0 0 0

N.S.

1 1.04 0.96 8031.06 0.00 40.91 0.00 0.00 0.00

time (sec)

N/A 2.009 3.213 1.488 0.000 2.366 0.000 0.000 0.000

Problem 622

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

236 246 244 2399199 0 12148 0 0 0

N.S.

1 1.04 1.03 10166.10 0.00 51.47 0.00 0.00 0.00

time (sec)

N/A 1.522 1.111 1.487 0.000 2.426 0.000 0.000 0.000

Problem 623

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

269 221 266 2397600 0 24440 0 0 0

N.S.

1 0.82 0.99 8913.01 0.00 90.86 0.00 0.00 0.00

time (sec)

N/A 1.224 2.635 1.414 0.000 4.700 0.000 0.000 0.000

Problem 624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

264 221 263 2398750 0 24471 0 0 0

N.S.

1 0.84 1.00 9086.17 0.00 92.69 0.00 0.00 0.00

time (sec)

N/A 1.290 1.407 1.499 0.000 4.890 0.000 0.000 0.000

Problem 625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

328 284 310 2398591 0 24563 0 0 0

N.S.

1 0.87 0.95 7312.78 0.00 74.89 0.00 0.00 0.00

time (sec)

N/A 1.744 3.538 1.394 0.000 5.024 0.000 0.000 0.000

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

383 347 367 2403527 0 24697 0 0 0

N.S.

1 0.91 0.96 6275.53 0.00 64.48 0.00 0.00 0.00

time (sec)

N/A 2.148 6.167 1.636 0.000 5.509 0.000 0.000 0.000

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

500 530 653 2660853 0 19121 0 0 0

N.S.

1 1.06 1.31 5321.71 0.00 38.24 0.00 0.00 0.00

time (sec)

N/A 3.987 7.217 1.447 0.000 4.955 0.000 0.000 0.000

Problem 628

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

418 449 564 2658291 0 19062 0 0 0

N.S.

1 1.07 1.35 6359.55 0.00 45.60 0.00 0.00 0.00

time (sec)

N/A 3.215 7.012 1.642 0.000 4.981 0.000 0.000 0.000

Problem 629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

349 371 382 2682 0 18996 0 0 0

N.S.

1 1.06 1.09 7.68 0.00 54.43 0.00 0.00 0.00

time (sec)

N/A 2.607 5.723 9.664 0.000 4.973 0.000 0.000 0.000

Problem 630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 304 321 2518 0 18942 0 0 0

N.S.

1 1.06 1.12 8.77 0.00 66.00 0.00 0.00 0.00

time (sec)

N/A 2.049 3.099 1.622 0.000 4.948 0.000 0.000 0.000

Problem 631

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

300 262 417 2438 0 35564 0 0 0

N.S.

1 0.87 1.39 8.13 0.00 118.55 0.00 0.00 0.00

time (sec)

N/A 1.686 5.720 1.411 0.000 7.263 0.000 0.000 0.000

Problem 632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

301 258 363 2668 0 35373 0 0 0

N.S.

1 0.86 1.21 8.86 0.00 117.52 0.00 0.00 0.00

time (sec)

N/A 1.725 3.400 0.443 0.000 7.576 0.000 0.000 0.000

Problem 633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

320 278 311 2819 0 35483 0 0 0

N.S.

1 0.87 0.97 8.81 0.00 110.88 0.00 0.00 0.00

time (sec)

N/A 1.756 3.766 0.513 0.000 7.669 0.000 0.000 0.000

Problem 634

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

376 346 365 2657129 0 35533 0 0 0

N.S.

1 0.92 0.97 7066.83 0.00 94.50 0.00 0.00 0.00

time (sec)

N/A 2.264 6.843 1.418 0.000 7.919 0.000 0.000 0.000

Problem 635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

457 421 431 3240 0 35731 0 0 0

N.S.

1 0.92 0.94 7.09 0.00 78.19 0.00 0.00 0.00

time (sec)

N/A 2.763 6.246 1.049 0.000 9.419 0.000 0.000 0.000

Problem 636

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

296 303 444 1890883 0 10265 0 0 0

N.S.

1 1.02 1.50 6388.12 0.00 34.68 0.00 0.00 0.00

time (sec)

N/A 1.855 6.308 2.067 0.000 2.929 0.000 0.000 0.000

Problem 637

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

243 240 213 1890882 0 10191 0 0 0

N.S.

1 0.99 0.88 7781.41 0.00 41.94 0.00 0.00 0.00

time (sec)

N/A 1.378 2.924 1.311 0.000 2.937 0.000 0.000 0.000

Problem 638

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

199 187 193 1886187 0 10120 0 0 0

N.S.

1 0.94 0.97 9478.33 0.00 50.85 0.00 0.00 0.00

time (sec)

N/A 1.044 1.766 1.145 0.000 3.021 0.000 0.000 0.000

Problem 639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

163 144 157 1880801 0 10053 0 0 0

N.S.

1 0.88 0.96 11538.66 0.00 61.67 0.00 0.00 0.00

time (sec)

N/A 0.792 0.440 1.230 0.000 2.888 0.000 0.000 0.000

Problem 640

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

228 189 225 1887832 0 20493 0 0 0

N.S.

1 0.83 0.99 8279.96 0.00 89.88 0.00 0.00 0.00

time (sec)

N/A 1.340 1.601 0.978 0.000 4.345 0.000 0.000 0.000

Problem 641

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

266 228 354 1890515 0 20571 0 0 0

N.S.

1 0.86 1.33 7107.20 0.00 77.33 0.00 0.00 0.00

time (sec)

N/A 1.162 2.694 1.249 0.000 5.036 0.000 0.000 0.000

Problem 642

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

316 337 301 1564143 0 18876 0 0 0

N.S.

1 1.07 0.95 4949.82 0.00 59.73 0.00 0.00 0.00

time (sec)

N/A 2.075 4.471 2.002 0.000 7.082 0.000 0.000 0.000

Problem 643

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

256 279 255 1560397 0 18757 0 0 0

N.S.

1 1.09 1.00 6095.30 0.00 73.27 0.00 0.00 0.00

time (sec)

N/A 1.566 2.530 1.972 0.000 7.136 0.000 0.000 0.000

Problem 644

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

215 224 222 1561166 0 18703 0 0 0

N.S.

1 1.04 1.03 7261.24 0.00 86.99 0.00 0.00 0.00

time (sec)

N/A 1.179 1.305 1.959 0.000 7.112 0.000 0.000 0.000

Problem 645

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

210 223 259 1559507 0 18672 0 0 0

N.S.

1 1.06 1.23 7426.22 0.00 88.91 0.00 0.00 0.00

time (sec)

N/A 1.190 2.350 1.321 0.000 7.005 0.000 0.000 0.000

Problem 646

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

279 274 361 1560634 0 37815 0 0 0

N.S.

1 0.98 1.29 5593.67 0.00 135.54 0.00 0.00 0.00

time (sec)

N/A 1.354 2.448 2.033 0.000 11.540 0.000 0.000 0.000

Problem 647

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

399 445 385 2981214 0 27987 0 0 0

N.S.

1 1.12 0.96 7471.71 0.00 70.14 0.00 0.00 0.00

time (sec)

N/A 2.864 4.436 6.016 0.000 14.368 0.000 0.000 0.000

Problem 648

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

341 382 334 2976685 0 27817 0 0 0

N.S.

1 1.12 0.98 8729.28 0.00 81.57 0.00 0.00 0.00

time (sec)

N/A 2.222 4.430 2.835 0.000 14.411 0.000 0.000 0.000

Problem 649

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

287 320 293 2978354 0 27790 0 0 0

N.S.

1 1.11 1.02 10377.54 0.00 96.83 0.00 0.00 0.00

time (sec)

N/A 1.768 3.900 2.742 0.000 14.620 0.000 0.000 0.000

Problem 650

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

284 318 340 2978186 0 27743 0 0 0

N.S.

1 1.12 1.20 10486.57 0.00 97.69 0.00 0.00 0.00

time (sec)

N/A 1.723 4.908 2.011 0.000 14.813 0.000 0.000 0.000

Problem 651

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

284 314 328 2975109 0 27726 0 0 0

N.S.

1 1.11 1.15 10475.74 0.00 97.63 0.00 0.00 0.00

time (sec)

N/A 1.753 4.014 2.698 0.000 14.564 0.000 0.000 0.000

Problem 652

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F(-1) F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

342 365 617 2981291 0 56055 0 0 0

N.S.

1 1.07 1.80 8717.23 0.00 163.90 0.00 0.00 0.00

time (sec)

N/A 1.997 6.437 2.862 0.000 24.495 0.000 0.000 0.000

Problem 653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

151 128 145 762 0 4609 0 0 0

N.S.

1 0.85 0.96 5.05 0.00 30.52 0.00 0.00 0.00

time (sec)

N/A 0.468 0.125 16.237 0.000 0.786 0.000 0.000 0.000

Problem 654

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-1) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

157 134 144 1302 0 4649 0 0 0

N.S.

1 0.85 0.92 8.29 0.00 29.61 0.00 0.00 0.00

time (sec)

N/A 0.473 0.112 13.342 0.000 0.756 0.000 0.000 0.000

Problem 655

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) B F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

215 168 210 1148 0 9437 0 0 0

N.S.

1 0.78 0.98 5.34 0.00 43.89 0.00 0.00 0.00

time (sec)

N/A 0.568 1.062 13.457 0.000 1.119 0.000 0.000 0.000

Problem 656

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

195 216 0 0 0 0 0 0 0

N.S.

1 1.11 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.799 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

169 182 0 0 0 0 0 0 0

N.S.

1 1.08 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.765 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 658

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

167 188 0 0 0 0 0 0 0

N.S.

1 1.13 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.795 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 659

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

173 194 0 0 0 0 0 0 0

N.S.

1 1.12 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.788 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 660

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

173 194 0 0 0 0 0 0 0

N.S.

1 1.12 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.791 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 661

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

173 173 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.587 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

173 173 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.590 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F(-1) F F F(-1) F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

167 167 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.571 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 664

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F(-1) F F F(-1) F(-1)

verified

N/A No N/A N/A TBD TBD TBD TBD TBD

size

169 161 0 0 0 0 0 0 0

N.S.

1 0.95 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.610 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 64 50 80 311 93 394 0 128

N.S.

1 1.02 0.79 1.27 4.94 1.48 6.25 0.00 2.03

time (sec)

N/A 0.308 0.997 1.219 0.453 0.261 0.571 0.000 1.204

Problem 666

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 53 77 56 95 100 155 112 100

N.S.

1 0.90 1.31 0.95 1.61 1.69 2.63 1.90 1.69

time (sec)

N/A 0.287 1.445 0.180 0.320 0.243 0.306 0.676 9.157

Problem 667

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 53 70 56 72 86 136 99 76

N.S.

1 0.90 1.19 0.95 1.22 1.46 2.31 1.68 1.29

time (sec)

N/A 0.285 3.125 0.139 0.351 0.228 0.278 0.521 8.930

Problem 668

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 53 54 49 55 74 117 87 50

N.S.

1 0.80 0.82 0.74 0.83 1.12 1.77 1.32 0.76

time (sec)

N/A 0.275 1.945 0.105 0.304 0.238 0.206 0.429 8.926

Problem 669

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 24 32 27 29 54 82 106 25

N.S.

1 0.75 1.00 0.84 0.91 1.69 2.56 3.31 0.78

time (sec)

N/A 0.215 0.041 0.063 0.309 0.242 0.150 0.347 8.980

Problem 670

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 66 50 50 64 53 103 38

N.S.

1 1.00 1.43 1.09 1.09 1.39 1.15 2.24 0.83

time (sec)

N/A 0.258 0.045 0.061 0.309 0.247 0.212 0.339 8.885

Problem 671

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 43 44 74 0 43 88 123 51

N.S.

1 0.80 0.81 1.37 0.00 0.80 1.63 2.28 0.94

time (sec)

N/A 0.291 2.236 0.114 0.000 0.249 0.188 0.391 8.856

Problem 672

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 44 46 0 46 153 79 51

N.S.

1 1.00 0.96 1.00 0.00 1.00 3.33 1.72 1.11

time (sec)

N/A 0.269 2.557 0.143 0.000 0.238 0.201 0.451 9.034

Problem 673

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 49 41 43 0 59 201 140 63

N.S.

1 0.89 0.75 0.78 0.00 1.07 3.65 2.55 1.15

time (sec)

N/A 0.283 0.488 0.148 0.000 0.240 0.246 0.640 8.917

Problem 674

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 51 41 44 0 81 304 200 73

N.S.

1 0.89 0.72 0.77 0.00 1.42 5.33 3.51 1.28

time (sec)

N/A 0.282 0.529 0.170 0.000 0.254 0.308 0.693 8.594

Problem 675

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 49 41 45 0 94 348 260 82

N.S.

1 0.89 0.75 0.82 0.00 1.71 6.33 4.73 1.49

time (sec)

N/A 0.281 1.676 0.187 0.000 0.244 0.394 0.975 8.661

Problem 676

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

109 102 89 167 660 206 1482 0 193

N.S.

1 0.94 0.82 1.53 6.06 1.89 13.60 0.00 1.77

time (sec)

N/A 0.364 2.178 1.045 0.451 0.259 1.252 0.000 11.539

Problem 677

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 82 270 83 151 152 243 180 158

N.S.

1 0.83 2.73 0.84 1.53 1.54 2.45 1.82 1.60

time (sec)

N/A 0.354 1.989 0.359 0.412 0.248 0.613 1.019 9.225

Problem 678

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 82 103 83 116 136 224 167 120

N.S.

1 0.83 1.04 0.84 1.17 1.37 2.26 1.69 1.21

time (sec)

N/A 0.326 2.307 0.273 0.373 0.236 0.493 0.888 9.283

Problem 679

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 82 95 83 101 124 206 155 108

N.S.

1 0.83 0.96 0.84 1.02 1.25 2.08 1.57 1.09

time (sec)

N/A 0.331 5.625 0.187 0.380 0.237 0.390 0.660 9.432

Problem 680

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 49 53 53 72 105 160 391 82

N.S.

1 0.79 0.85 0.85 1.16 1.69 2.58 6.31 1.32

time (sec)

N/A 0.290 0.170 0.110 0.354 0.225 0.281 0.541 8.736

Problem 681

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 51 54 51 53 98 158 120 50

N.S.

1 0.80 0.84 0.80 0.83 1.53 2.47 1.88 0.78

time (sec)

N/A 0.267 1.076 0.110 0.435 0.248 0.214 0.441 8.325

Problem 682

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 70 58 76 71 121 122 214 76

N.S.

1 0.88 0.72 0.95 0.89 1.51 1.52 2.68 0.95

time (sec)

N/A 0.361 0.371 0.095 0.373 0.245 0.317 0.411 8.431

Problem 683

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 65 84 146 0 111 134 271 105

N.S.

1 0.70 0.90 1.57 0.00 1.19 1.44 2.91 1.13

time (sec)

N/A 0.322 5.526 0.188 0.000 0.254 0.362 0.469 8.399

Problem 684

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 65 56 103 0 62 160 191 104

N.S.

1 0.71 0.62 1.13 0.00 0.68 1.76 2.10 1.14

time (sec)

N/A 0.322 4.527 0.126 0.000 0.250 0.288 0.542 8.437

Problem 685

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 76 62 69 0 49 167 156 87

N.S.

1 0.82 0.67 0.74 0.00 0.53 1.80 1.68 0.94

time (sec)

N/A 0.332 3.941 0.229 0.000 0.245 0.276 0.709 8.323

Problem 686

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 74 51 68 0 64 218 190 78

N.S.

1 0.81 0.56 0.75 0.00 0.70 2.40 2.09 0.86

time (sec)

N/A 0.332 5.301 0.149 0.000 0.246 0.328 0.886 8.455

Problem 687

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 78 62 69 0 89 332 292 108

N.S.

1 0.82 0.65 0.73 0.00 0.94 3.49 3.07 1.14

time (sec)

N/A 0.335 5.363 0.372 0.000 0.257 0.414 1.128 8.646

Problem 688

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 74 60 66 0 104 379 360 118

N.S.

1 0.81 0.66 0.73 0.00 1.14 4.16 3.96 1.30

time (sec)

N/A 0.327 5.406 0.187 0.000 0.252 0.523 1.248 8.476

Problem 689

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 138 154 271 1056 335 3665 0 323

N.S.

1 0.91 1.02 1.79 6.99 2.22 24.27 0.00 2.14

time (sec)

N/A 0.394 5.190 0.955 0.581 0.256 3.355 0.000 13.211

Problem 690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 109 150 108 193 194 325 239 208

N.S.

1 0.81 1.11 0.80 1.43 1.44 2.41 1.77 1.54

time (sec)

N/A 0.382 5.892 0.637 0.299 0.246 0.934 1.289 8.717

Problem 691

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 109 98 108 166 182 306 227 174

N.S.

1 0.81 0.73 0.80 1.23 1.35 2.27 1.68 1.29

time (sec)

N/A 0.361 5.690 0.520 0.320 0.239 0.828 1.200 8.603

Problem 692

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 106 131 108 151 170 287 215 156

N.S.

1 0.80 0.99 0.82 1.14 1.29 2.17 1.63 1.18

time (sec)

N/A 0.354 2.090 0.352 0.324 0.242 0.641 0.965 8.476

Problem 693

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 61 65 75 106 147 224 754 120

N.S.

1 0.73 0.77 0.89 1.26 1.75 2.67 8.98 1.43

time (sec)

N/A 0.303 0.278 0.123 0.303 0.248 0.487 0.904 8.328

Problem 694

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 84 91 94 105 152 250 192 108

N.S.

1 0.83 0.90 0.93 1.04 1.50 2.48 1.90 1.07

time (sec)

N/A 0.333 5.539 0.234 0.308 0.237 0.412 0.642 8.307

Problem 695

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 55 70 63 72 132 218 164 72

N.S.

1 0.90 1.15 1.03 1.18 2.16 3.57 2.69 1.18

time (sec)

N/A 0.287 3.283 0.146 0.308 0.232 0.278 0.542 8.342

Problem 696

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 99 73 100 96 175 184 312 125

N.S.

1 0.90 0.66 0.91 0.87 1.59 1.67 2.84 1.14

time (sec)

N/A 0.462 0.918 0.134 0.313 0.264 0.369 0.489 8.479

Problem 697

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 81 120 178 0 164 206 306 139

N.S.

1 0.68 1.01 1.50 0.00 1.38 1.73 2.57 1.17

time (sec)

N/A 0.352 5.681 0.118 0.000 0.258 0.447 0.583 8.633

Problem 698

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 85 90 189 0 138 236 341 182

N.S.

1 0.69 0.73 1.54 0.00 1.12 1.92 2.77 1.48

time (sec)

N/A 0.339 5.603 0.188 0.000 0.250 0.509 0.644 9.096

Problem 699

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 101 74 124 0 77 212 242 141

N.S.

1 0.78 0.57 0.96 0.00 0.60 1.64 1.88 1.09

time (sec)

N/A 0.339 4.964 0.220 0.000 0.249 0.395 0.870 8.694

Problem 700

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 91 79 88 0 49 167 224 118

N.S.

1 0.92 0.80 0.89 0.00 0.49 1.69 2.26 1.19

time (sec)

N/A 0.311 3.528 0.241 0.000 0.250 0.374 1.026 8.698

[next] [prev] [prev-tail] [front] [up]